Why the Hardest Logic Puzzle Ever Cannot Be Solved in Less than Three Questions
نویسندگان
چکیده
Rabern and Rabern (2008) and Uzquiano (2010) have each presented increasingly harder versions of 'the hardest logic puzzle ever' (Boolos 1996), and each has provided a BLOCKIN BLOCKIN two-‐question BLOCKIN BLOCKIN solution BLOCKIN BLOCKIN to BLOCKIN BLOCKIN his BLOCKIN BLOCKIN predecessor's BLOCKIN BLOCKIN puzzle. BLOCKIN BLOCKIN But BLOCKIN BLOCKIN Uzquiano's BLOCKIN BLOCKIN puzzle BLOCKIN BLOCKIN is BLOCKIN BLOCKIN different from the original and different from Rabern and Rabern's in at least one important respect: it cannot be solved in less than three questions. In this paper we solve Uzquiano's puzzle in three questions and show why there is no solution in two. Finally, to cement a tradition, we introduce a puzzle of our own. Recall Uzquiano's puzzle and his guidelines for solving it. whether Random speaks truly or falsely or whether Random speaks at all is a completely random matter. Your task is to determine the identities of A, BLOCKIN
منابع مشابه
The hardest logic puzzle ever becomes even tougher
" The hardest logic puzzle ever " presented by George Boolos became a target for philosophers and logicians who tried to modify it and make it even tougher. I propose further modification of the original puzzle where part of the available information is eliminated but the solution is still possible. The solution also gives interesting ideas on logic behind discovery of unknown language.
متن کاملThe Jobs Puzzle: A Challenge for Logical Expressibility and Automated Reasoning
The Jobs Puzzle, introduced in a book about automated reasoning, is a logic puzzle solvable by some “intelligent sixth graders,” but the formalization of the puzzle by the authors was, according to them, “sometimes difficult and sometimes tedious.” The puzzle thus presents a triple challenge: 1) formalize it in a non-difficult, nontedious way; 2) formalize it in a way that adheres closely to th...
متن کاملForward Perimeter Search with Controlled Use of Memory
There are many hard shortest-path search problems that cannot be solved, because best-first search runs out of memory space and depth-first search runs out of time. We propose Forward Perimeter Search (FPS), a heuristic search with controlled use of memory. It builds a perimeter around the root node and tests each perimeter node for a shortest path to the goal. The perimeter is adaptively exten...
متن کاملUsing the Taxonomy and the Metrics: What to Study When and Why; Comment on “Metrics and Evaluation Tools for Patient Engagement in Healthcare Organization- and System-Level Decision-Making: A Systematic Review”
Dukhanin and colleagues’ taxonomy of metrics for patient engagement at the organizational and system levels has great potential for supporting more careful and useful evaluations of this ever-growing phenomenon. This commentary highlights the central importance to the taxonomy of metrics assessing the extent of meaningful participation in decision-making by patients, consumers and community mem...
متن کاملar X iv : n uc l - th / 9 80 30 38 v 1 1 9 M ar 1 99 8 The A y Puzzle and the Nuclear Force
The nucleon-deuteron analyzing power A y in elastic nucleon-deuteron scattering poses a longstanding puzzle. At energies E lab below approximately 30 MeV A y cannot be described by any realistic NN force. The inclusion of existing three-nucleon forces does not improve the situation. Because of recent questions about the 3 P J NN phases, we examine whether reasonable changes in the NN force can ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. Philosophical Logic
دوره 41 شماره
صفحات -
تاریخ انتشار 2012